function updateIFrame(height,width)
{
	var repository_iframe = document.getElementById( 'repository_iframe' );
	repository_iframe.setAttribute( 'height', height );
	repository_iframe.setAttribute( 'width', '100%' );
}